Остановите войну!
for scientists:
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 331 matches
- 2024
- Myles Watkinson, Alexander E. I. Brownlee:
Comparing apples and oranges? Investigating the consistency of CPU and memory profiler results across multiple java versions. Autom. Softw. Eng. 31(1): 28 (2024) - Yuanpeng Tu, Zhun Zhong, Yuxi Li, Hengshuang Zhao:
Memory Consistency Guided Divide-and-Conquer Learning for Generalized Category Discovery. CoRR abs/2401.13325 (2024) - Gokulan Ravi, Xiaokang Qiu, Mithuna Thottethodi, T. N. Vijaykumar:
QED: Scalable Verification of Hardware Memory Consistency. CoRR abs/2404.03113 (2024) - 2023
- Michalis Kokologiannakis, Ori Lahav, Viktor Vafeiadis:
Kater: Automating Weak Memory Model Metatheory and Consistency Checking. Proc. ACM Program. Lang. 7(POPL): 544-572 (2023) - Hünkar Can Tunç, Parosh Aziz Abdulla, Soham Chakraborty, Shankaranarayanan Krishna, Umang Mathur, Andreas Pavlogiannis:
Optimal Reads-From Consistency Checking for C11-Style Memory Models. Proc. ACM Program. Lang. 7(PLDI): 761-785 (2023) - Jianxiong Tang, Jian-Huang Lai, Xiaohua Xie, Lingxiao Yang, Wei-Shi Zheng:
AC2AS: Activation Consistency Coupled ANN-SNN framework for fast and memory-efficient SNN training. Pattern Recognit. 144: 109826 (2023) - Hongyu Fan, Zhihang Sun, Fei He:
Satisfiability Modulo Ordering Consistency Theory for SC, TSO, and PSO Memory Models. ACM Trans. Program. Lang. Syst. 45(1): 6:1-6:37 (2023) - Yuncong Zhang, Shifeng Sun, Ren Zhang, Dawu Gu:
Polynomial IOPs for Memory Consistency Checks in Zero-Knowledge Virtual Machines. ASIACRYPT (2) 2023: 111-141 - Reese Levine, Tianhao Guo, Mingun Cho, Alan Baker, Raph Levien, David Neto, Andrew Quinn, Tyler Sorensen:
MC Mutants: Evaluating and Improving Testing for Memory Consistency Specifications. ASPLOS (2) 2023: 473-488 - Chase Norman, Adwait Godbole, Yatin A. Manerkar:
PipeSynth: Automated Synthesis of Microarchitectural Axioms for Memory Consistency. ASPLOS (3) 2023: 513-527 - Chencheng Ye, Yuanchao Xu, Xipeng Shen, Yan Sha, Xiaofei Liao, Hai Jin, Yan Solihin:
SpecPMT: Speculative Logging for Resolving Crash Consistency Overhead of Persistent Memory. ASPLOS (2) 2023: 762-777 - Hayley LeBlanc, Shankara Pailoor, Om Saran K. R. E, Isil Dillig, James Bornholt, Vijay Chidambaram:
Chipmunk: Investigating Crash-Consistency in Persistent-Memory File Systems. EuroSys 2023: 718-733 - Jianming Huang, Yu Hua:
Root Crash Consistency of SGX-style Integrity Trees in Secure Non-Volatile Memory Systems. HPCA 2023: 152-164 - Ben Perach, Ronny Ronen, Shahar Kvatinsky:
On Consistency for Bulk-Bitwise Processing-in-Memory. HPCA 2023: 705-717 - Xiangyu Xiang, Yu Hua, Hao Xu:
PMA: A Persistent Memory Allocator with High Efficiency and Crash Consistency Guarantee. ICCD 2023: 182-189 - Reese Levine, Mingun Cho, Devon McKee, Andrew Quinn, Tyler Sorensen:
GPUHarbor: Testing GPU Memory Consistency at Large (Experience Paper). ISSTA 2023: 779-791 - Akshay Gopalakrishnan, Clark Verbrugge, Mark Batty:
Memory Consistency Models for Program Transformations: An Intellectual Abstract. ISMM 2023: 30-42 - Zhangxun Li, Mengyang Zhao, Xinhua Zeng, Tian Wang, Chengxin Pang:
Memory-Augmented Spatial-Temporal Consistency Network for Video Anomaly Detection. PRCV (6) 2023: 95-107 - Parosh Aziz Abdulla, Soham Chakraborty, Shankaranarayanan Krishna, Umang Mathur, Andreas Pavlogiannis, Hünkar Can Tunç:
Optimal Reads-From Consistency Checking for C11-Style Memory Models. CoRR abs/2304.03714 (2023) - Jenny Ottmann, Üsame Cengiz, Frank Breitinger, Felix C. Freiling:
As if Time Had Stopped - Checking Memory Dumps for Quasi-Instantaneous Consistency. CoRR abs/2307.12060 (2023) - Yuncong Zhang, Shi-Feng Sun, Ren Zhang, Dawu Gu:
Polynomial IOPs for Memory Consistency Checks in Zero-Knowledge Virtual Machines. IACR Cryptol. ePrint Arch. 2023: 1555 (2023) - 2022
- Azalea Raad, Luc Maranget, Viktor Vafeiadis:
Extending Intel-x86 consistency and persistency: formalising the semantics of Intel-x86 memory types and non-temporal stores. Proc. ACM Program. Lang. 6(POPL): 1-31 (2022) - Ming Zhang, Yu Hua, Xuan Li, Hao Xu:
Scalable crash consistency for secure persistent memory. DAC 2022: 817-822 - Zhiyuan Lu, Jianhui Yue, Yifu Deng, Yifeng Zhu:
Accelerate Hardware Logging for Efficient Crash Consistency in Persistent Memory. DATE 2022: 388-393 - Tarun Kalluri, Astuti Sharma, Manmohan Chandraker:
MemSAC: Memory Augmented Sample Consistency for Large Scale Domain Adaptation. ECCV (30) 2022: 550-568 - Jifei Yi, Mingkai Dong, Fangnuo Wu, Haibo Chen:
HTMFS: Strong Consistency Comes for Free with Hardware Transactional Memory in Persistent Memory File Systems. FAST 2022: 17-34 - Ankit Bhardwaj, Todd Thornley, Vinita Pawar, Reto Achermann, Gerd Zellweger, Ryan Stutsman:
Cache-coherent accelerators for persistent memory crash consistency. HotStorage 2022: 37-44 - Chunlin Song, Xianzhang Chen, Duo Liu, Xiaoliu Feng, Xi Yu, Jiali Li, Yujuan Tan, Ao Ren:
CADedup: High-performance Consistency-aware Deduplication Based on Persistent Memory. ICCD 2022: 726-729 - Yi Huang, Hengfeng Wei:
Incremental Causal Consistency Checking for Read-Write Memory Histories. Internetware 2022: 181-191 - Daniel Lustig, Simon Cooksey, Olivier Giroux:
Mixed-proxy extensions for the NVIDIA PTX memory consistency model: industrial product. ISCA 2022: 1058-1070
skipping 301 more matches
loading more results
failed to load more results, please try again later
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-05-18 05:38 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint